PROVING A GEOMETRICAL FALLACY BY TRIGONOMETRY1

The “banzhaf Fallacy” Fallacy

A Social Security Fallacy

The article investigates whether compulsory old age provisions are justified from an econom-ic point of view. According to a standard argument, some people would not provide suffi-

A power fallacy.

The power fallacy refers to the misconception that what holds on average -across an ensemble of hypothetical experiments- also holds for each case individually. According to the fallacy, high-power experiments always yield more informative data than do low-power experiments. Here we expose the fallacy with concrete examples, demonstrating that a particular outcome from a high-power experiment c...

Proving By Simplification

This notebook describes a simplification prover in natural deduction style. The prover is mainly a conditional term rewriting system used to generate abstract proof objects, i.e. structured data that contain enough information to describe all the individual steps in a proof. These proof objects can be regarded as standalone proofs, or can be further integrated into more complex proofs that use ...

Proving theorems by reuse

We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematical induction with the aid of a human advisor: If a base or step formula is submitted to the system, it tries to reuse a proof of a previously verified formula. If successful, labour is saved, because the number of requ...